A meta-model of computer numerical controlled part programming languages

Computer programming languages - a comparative introduction

Validating the Meta-Theory of Programming Languages

We report on work in progress in building an environment for the validation of the meta-theory of programming languages artifacts, for example the correctness of compiler translations; the basic idea is to couple property-based testing with binders-aware functional programming as the meta-language for specification and testing. Treating binding signatures and related notions, such as new names ...

P Lecture Notes on Semantics of Programming Languages for Part IB of the Computer Science Tripos

syntax tree of an command

Effective meta-programming in declarative languages

Declarative meta-programming is vital, since it is the most promising means by which programs can be made to reason about other programs. A metaprogram is a program that takes another program, called the object program, as data. A declarative programming language is a programming language based on a logic that has a model theory. A meta-program operates on a representation of an object program....

On Embedded Languages , Meta - LevelReasoning and Computer -